8

Parameterized model checking of weighted networks

Year:
2014
Language:
english
File:
PDF, 451 KB
english, 2014
12

Construction of tree automata from regular expressions

Year:
2011
Language:
english
File:
PDF, 307 KB
english, 2011
13

Weighted automata and weighted MSO logics for average and long-time behaviors

Year:
2012
Language:
english
File:
PDF, 322 KB
english, 2012
14

Branching automata with costs—a way of reflecting parallelism in costs

Year:
2004
Language:
english
File:
PDF, 316 KB
english, 2004